The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·10h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Infix Versus Prefix Operators
irreal.org·14h
🧠Lisp Dialects
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.org·1d·
Discuss: Hacker News, r/compsci
📐Mathematical Art
Flag this post
Dingo: A Meta-Language for Go
github.com·4h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·8h·
Discuss: Hacker News
📄Text Chunking
Flag this post
It’s Not Always DNS: Exploring How Name Resolution Works
cefboud.com·1d·
Discuss: r/programming
🌐DNS Security
Flag this post
A Loopy Holiday Gift Exchange
thefiddler.substack.com·1d·
Discuss: Substack
🌳Trie Structures
Flag this post
Is Matrix Multiplication Ugly?
mathenchant.wordpress.com·1d·
Discuss: Hacker News
🔬Lean
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
Show HN: Wolfrominoes
demos.samgentle.com·1h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·8h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Python dev learning Go: What's the idiomatic way to handle missing values?
reddit.com·2d·
Discuss: r/golang
⚔️Lean Tactics
Flag this post
Verification Is Not the Silver Bullet
alperenkeles.com·4d·
Discuss: Hacker News
🎯Performance Proofs
Flag this post
The Fermi Paradox Just From Rarity
win-vector.com·10h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Arc Is a Vision Problem
arxiviq.substack.com·16h·
Discuss: Substack
🚀SIMD Text Processing
Flag this post